Factor-SAGBI Bases: a Tool for Computations in Subalgebras of Factor Algebras
نویسنده
چکیده
We introduce canonical bases for subalgebras of quotients of the commutative and non-commutative polynomial ring. A more complete exposition can be found in 4]. Canonical bases for subalgebras of the commutative polynomial ring were introduced by Kapur and Madlener (see 2]), and independently by Robbiano and Sweedler ((5]). Some notes on the non-commutative case can be found in 3]. Using the language of Robbiano and Sweedler, we will refer to these \non-quotient" cases as SAGBI bases theory (Subalgebra Analog to Grr obner Bases for Ideals). In consequence, we will call the canonical bases in our factor algebra setting Factor-SAGBI bases, or simply FS-bases. SAGBI bases theory is (as the previous parenthesis indicates) strongly innuenced by the theory of Grr obner bases, introduced by Bruno Buchberger in his thesis 1]; in e.g. 5] we nd the notion of (subalgebra) reduction, the characterization (test) theorem using critical pairs (generalized S-polynomials), and the completion procedure of constructing bases. To make the theory work in our factor algebra setting, we need just complete the SAGBI theory at a few points. We try, as far as possible, to work in the normal complements of the ideals we factor out, so e.g. our subalgebra reduction also includes the usual Grr obner basis reduction (called normalization below). In the test and construction of our bases we are forced to consider, besides critical pairs, one additional type of element. Some problems concerning subalgebras of factor algebras, e.g. subalgebra membership, can be reduced to Grr obner basis problems. In the commutative case, FS-bases, like SAGBI bases, diier from Grr obner bases at one essential point; they may be innnite even for ni-tely generated subalgebras. This implies that the Factor-SAGBI approach is not necessarily algorithmic 1. However, it is easy to provide examples where the FS-basis computation is almost free whereas it is impossible, from the practical point of view, to apply the Grr obner bases method mentioned above. Passing to the non-commutative case, Grr obner bases are no longer in general nite, and we can easily nd examples where Factor-SAGBI theory solves problems that would not be algorithmic using the Grr obner bases method. Non-commutative FS-bases have also shown to be applicable for solving systems of non-commutative polynomial equations, in an approach under development by Victor Ufnarovski. The author expresses his thanks to Victor Ufnarovski for helpful discussions. Notations Since most of the theory will be the same for …
منابع مشابه
Canonical bases for subalgebras of factor algebras
We introduce canonical bases for subalgebras of quotients of the commutative and non-commutative polynomial ring. The usual theory for Gröbner bases and its counterpart for subalgebras of polynomial rings, also called SAGBI bases, are combined to obtain a tool for computation in subalgebras of factor algebras.
متن کاملA new algorithm for computing SAGBI bases up to an arbitrary degree
We present a new algorithm for computing a SAGBI basis up to an arbitrary degree for a subalgebra generated by a set of homogeneous polynomials. Our idea is based on linear algebra methods which cause a low level of complexity and computational cost. We then use it to solve the membership problem in subalgebras.
متن کاملSagbi Bases of Cox-Nagata Rings
We degenerate Cox–Nagata rings to toric algebras by means of sagbi bases induced by configurations over the rational function field. For del Pezzo surfaces, this degeneration implies the Batyrev–Popov conjecture that these rings are presented by ideals of quadrics. For the blow-up of projective n-space at n + 3 points, sagbi bases of Cox–Nagata rings establish a link between the Verlinde formul...
متن کاملRegular Gröbner Bases
In Ufnarovski (1989), the concept of automaton algebras is introduced. These are quotients of the non-commutative polynomial ring where the defining ideal allows some Gröbner basis with a regular set of leading words. However, nothing is reflected concerning the whole structure of the Gröbner basis (except of course for monomial algebras). In this paper we introduce the concept of regular Gröbn...
متن کاملCanonical Bases for Subalgebras on two Generators in the Univariate Polynomial Ring
In this paper we examine subalgebras on two generators in the univariate polynomial ring. A set, S, of polynomials in a subalgebra of a polynomial ring is called a canonical basis (also referred to as SAGBI basis) for the subalgebra if all lead monomials in the subalgebra are products of lead monomials of polynomials in S. In this paper we prove that a pair of polynomials {f, g} is a canonical ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007